es-ble{i:l}(es;e;e')
== Case TERMOF{decidable es-le:ObjectId, 1:l, i:l}(es,e',e) of
== inl(x)  true
== inr(x)  false 

latex

---

clarification:

es-ble{i:l}
es-ble(es; e; e')
== Case TERMOF{decidable es-le:ObjectId, 1:l, i:l}(es,e',e) of
== inl(x)  true
== inr(x)  false 

latex

Definitions	false, true, decidable es-le
FDL editor aliases	es-ble